Feeds to Scour
SubscribedAll
Scoured 19319 posts in 643.9 ms
How I Built My Project in Haskell
dev.to·14h·
Discuss: DEV
🔗Functional Compilers
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·2h·
Discuss: Hacker News
⚖️Hoare Logic
Differential Logic • 4
inquiryintoinquiry.com·1h
⚔️Lean Theorem
Human-like Search for Modern Applications
anvitra.ai·11h·
Discuss: Hacker News
🗂️Vector Search
New Proposal Explores Machine Learning Assistance for Linux Kernel Behavior
linuxiac.com·19h
🔍eBPF
New research suggests AI model updates are now "significant social events" involving real mourning
the-decoder.com·2h
🌍Cultural Algorithms
Automating busy work
thomasrigby.com·22h
🤖Archive Automation
Computing large Fibonacci numbers
johndcook.com·57m
📐Interval Arithmetic
How Lisp Became God's Own Programming Language
twobithistory.org·4d
🔗Lisp
Locas: Your Models are Principled Initializers of Locally-Supported Parametric Memories
arxiv.org·2d
💻Local LLMs
Whether they are building agents or folding proteins, LLMs need a friend
theregister.com·23h
💻Local LLMs
NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler
dev.to·17h·
Discuss: DEV
⚙️Modern Assembly
Portable C Compiler
en.wikipedia.org·14h·
Discuss: Hacker News
🏗️Compiler Archaeology
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·1d
🏗️Compiler Archaeology
Build a Compiler in Five Projects
kmicinski.com·1d
🔨Compilers
Declarative, Reproducible Emacs
irreal.org·22h
🧩Shell Metaprogramming
[RFC PATCH v1 0/4] Machine Learning (ML) library in Linux kernel
lore.kernel.org·1d·
Discuss: Lobsters, Hacker News
🎵Audio ML
On variability
surfingcomplexity.blog·17h
⚡Incremental Computation
Let Lambda Come Over
yamlscript.org·1d
⬆️Lambda Lifting
Automatic Programming
notes.billmill.org·3d
⚡Proof Automation

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help